Tight steady-state availability bounds using the failure distance concept
نویسندگان
چکیده
منابع مشابه
Tight Steady-State Availability Bounds Using the Failure Distance Concept
Continuous-time Markov chains are commonly used for dependability modeling of repairable fault-tolerant computer systems. Realistic models of non-trivial fault-tolerant systems often have very large state spaces. An attractive approach for dealing with the largeness problem is the use of pruning methods with error bounds. Several such methods for computing steady-state availability bounds have ...
متن کاملFailure Distance Based Bounds for Steady-State Availability without the Knowledge of Minimal Cuts
We propose an algorithm to compute bounds for the steadystate unavailability using continuous-time Markov chains, which is based on the failure distance concept. The algorithm generates incrementally a subset of the state space until the tightness of the bounds is the specified one. In contrast with a previous algorithm also based on the failure distance concept, the proposed algorithmuses lowe...
متن کاملTight Polynomial Bounds for Steady-State Performance of Marked Graphs
The problem of computing both upper and lower bounds for the steady-state performance of timed and stochastic Marked Graphs is studied. In particular, Linear Programming problems deened on the incidence matrix of the underlying Petri nets are used to compute tight (i.e., reachable) bounds for the throughput of transitions for live and bounded Marked Graphs with time associated with transitions....
متن کاملPseudo Steady State Gas Flow in Tight Reservoir under Dual Mechanism Flow
Gas reservoirs with low permeability (k<0.1 mD) are among the unconventional reservoirs and are commonly termed as "Tight Gas Reservoirs". In conventional gas reservoirs that have high permeability, the flow of gas is basically controlled by the reservoir permeability and it is calculated using the Darcy equation. In these reservoirs, gas flow due to gas diffusion is ignored compared to Dar...
متن کاملAerobic Metabolism and the Steady-State Concept
This chapter contains an analysis of the steady-state concept, as it is applied during light exercise. In this case, oxygen consumption increases upon exercise onset to attain a steady level, which can be maintained for a long period of time. The steady-state oxygen consumption is proportional to the exerted mechanical power. Under these circumstances, there is neither accumulation of lactate i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Performance Evaluation
سال: 1998
ISSN: 0166-5316
DOI: 10.1016/s0166-5316(98)00015-7